- ad hoc logic
- 专门逻辑
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
ad hoc logic
Look at other dictionaries:
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Non sequitur (logic) — Non sequitur (Latin for it does not follow ), in formal logic, is an argument in which its conclusion does not follow from its premises.[1] In a non sequitur, the conclusion could be either true or false, but the argument is fallacious because… … Wikipedia
post hoc — The phrase represents the faulty logic of assuming that one thing was caused by another merely because it followed that prior event in time. From the Latin phrase post hoc ergo propter hoc, which means after this, therefore because of this.… … Law dictionary
post hoc — or ergo propter hoc [pōst΄ häk′ er΄gō präp′tər häk΄] [L] after this, therefore because of this: used in logic to designate the fallacy of thinking that a happening which follows another must be its result, and sometimes clipped to post hoc … English World dictionary
post-hoc — /ˈpoʊst hɒk/ (say pohst hok) adjective (in logic) taking for a cause something which is merely earlier in time. {Latin: shortened form of post hoc, ergo propter hoc after this, therefore because of this} …
post hoc, ergo propter hoc — /pohst hohk , erdd goh prddohp terdd hohk /; Eng. /pohst hok , err goh prop teuhr hok er goh/, Latin. after this, therefore because of it: a formula designating an error in logic that accepts as a cause something that merely occurred earlier in… … Universalium
